home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / clean / sun3.lha / Sun3 / seqdemos / tak.icl < prev    next >
Text File  |  1992-08-07  |  330b  |  19 lines
  1. MODULE tak;
  2.  
  3. <<
  4. The Takeuchi function.
  5. >>
  6.  
  7. IMPORT deltaI;
  8.  
  9. RULE
  10.  
  11. ::  Tak INT INT INT -> INT;
  12.     Tak x   y   z   -> z                    , IF <= x y
  13.                     -> Tak  (Tak (-- x) y z)
  14.                             (Tak (-- y) z x)
  15.                             (Tak (-- z) x y);
  16.  
  17. ::  Start -> INT;
  18.     Start -> Tak 24 16 8;
  19.